Generating Unit Tests for Documentation
نویسندگان
چکیده
Software projects capture redundant information in various kinds of artifacts, as specifications from the source code are also tested and documented. Such redundancy provides an opportunity to reduce development effort by supporting joint generation different types artifacts. We introduce a tool-supported technique, called DScribe, that allows developers combine unit test documentation templates, invoke these templates generate tests. DScribe supports detection replacement outdated documentation, use can encourage extensive suites with consistent style. Our evaluation 835 revealed 85 percent were not or correctly documented, could be used automatically 97 tests documentation. An additional study generated more focused readable than those written human testers state-of-the-art automated techniques.
منابع مشابه
Generating Parameterized Unit Tests (22139)
State-of-the art techniques for automated test generation focus on generating executions that cover program behavior. As they do not generate oracles, it is up to the developer to figure out what a test does and how to check the correctness of the observed behavior. In this paper, we present an approach to generate parameterized unit tests—unit tests containing symbolic preand postconditions ch...
متن کاملGenerating Readable Unit Tests for Guava
Unit tests for object-oriented classes can be generated automatically using search-based testing techniques. As the search algorithms are typically guided by structural coverage criteria, the resulting unit tests are often long and confusing, with possible negative implications for developer adoption of such test generation tools, and the difficulty of the test oracle problem and test maintenan...
متن کاملGenerating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit format are generated automatically. The advantages of the approach are: (i) it exploits the full information available in the IUT and in its formal model giving very good hybrid coverage; (ii) a non-trivial formal mod...
متن کاملGenerating Pattern-based Documentation for Application Frameworks
Application frameworks are a popular technique to implement productline architectures. The problem of communicating the relevant properties of a framework for application developers is studied. It is argued that a conventional API specification is not sufficient for a framework, but a pattern-based specification of the extension interface is required. A technique to generate a pattern-based bro...
متن کاملGenerating New Types of Documentation
Software documentation is an important artifact of any software development project, yet it may be costly to produce and keep up to date. Many tools have been proposed to assist in generating and locating documentation automatically so as to reduce the burden of having up to date documentation available. In this paper I present a model for classifying different types of documentation, classify ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2022
ISSN: ['0098-5589', '1939-3520', '2326-3881']
DOI: https://doi.org/10.1109/tse.2021.3087087